name=FaCT++ reasoner
id=uk.ac.manchester.cs.owl.factplusplus
version=1.6.4
download=https://bitbucket.org/dtsarkov/factplusplus/downloads/uk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.4.jar
readme=http://factplusplus.googlecode.com/svn/trunk/version-info-p4.1.html
license=http://www.gnu.org/licenses/lgpl.html
author=Dmitry Tsarkov, The University of Manchester
